TimeNET-a toolkit for evaluating non-Markovian stochastic Petri nets

TimeNET: Evaluation Tool for Non-Markovian Stochastic Petri Nets

Modelling and Performance Evaluation with TimeNET 4.4

The paper presents the current status of the software tool TimeNET. It supports modeling and performance evaluation of stochastic models, including extended deterministic and stochastic Petri nets, colored stochastic Petri nets, and Markov chains as well as UML extensions. Among its main characteristics are simulation and analysis modules for stationary and transient evaluation of Petri nets in...

Mapping CRC Card into Stochastic Petri Net for Analyzing and Evaluating Quality Parameter of Security (TECHNICAL NOTE)

CRC cards are unconventional method for identifying and describing classes, behavior and its responsibilities and collaborators of class. Representation of three categories of class, responsibilities and collaborators can give proper image of scenario. These cards are effective method for analyzing scenarios. With all positive features of CRC cards, of weaknesses of these cards are failure to s...

Transient Analysis of Deterministic and Stochastic Petri Nets with TimeNET

This paper descibes the transient analysis component for de-terministic and stochastic Petri nets which has recently been added to the software package TimeNET. The technique is based on the derivation of state equations by the method of supplementary variables. The system of equations consists of partial and ordinary diierential equations which are combined with initial and boundary conditions...

TimeNET Optimization Environment Batch simulation and heuristic optimization of SCPNs with TimeNET 4.2

In this paper a novel tool for simulation-based optimization and design-space exploration of Stochastic Colored Petri nets (SCPN) is introduced. The working title of this tool is TimeNET Optimization Environment (TOE). The targeted users of this tool are people modeling complex systems with SCPNs in TimeNET, who want to find parameter sets that are optimal under a chosen function. It allows use...